Code example: inheritance of variables

Module(Alpha)
   [  Var(x)
   ]
   Module(Beta) : Alpha 
   [ Msg(FOO)
     FOO: 3 -> x 
   ]
   Module(Gamma) : Alpha 
   [ Msg(BAR)
     BAR: "abc" -> x 
   ]

Module(Beta)
   [ Msg(FOO)   Var(x)
     FOO: 3 -> x 
   ]
   Module(Gamma)
   [ Msg(BAR)   Var(x)
     BAR: "abc" -> x 
   ]